Merge branch 'css-docs' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sat, 18 Apr 2020 18:39:01 +0000 (18:39 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 18 Apr 2020 18:39:01 +0000 (18:39 +0000)
Shorten CSS docs

See merge request GNOME/gtk!1712


Trivial merge